581. Logic, language, and computation :
Author: Nick Bezhanishvili [and others] (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
Classification :
QA76
.
9
.
L63
I57
2009eb
582. Logic, language, and computation
Author: \ [edited by] Martin Aher...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبانهای برنامهنویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبانشناسی کامپیوتری -- کنگره ها
Classification :
QA
75
.
5
.
L644
2015
E-Book
,
583. Logic of Domains
Author: Guo-Qiang Zhang
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
Z47
1991
584. Logic of domains
Author: Zhang, Guo-Qiang
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
Z47
1991
585. Logic program synthesis and transformation - meta-programming in logic :
Author: Laurent Fribourg, Franco Turini (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
586. Logic programming :
Author: James H. Andrews
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming,Programming languages (Electronic computers)-- Semantics,Proof theory
587. Logic programming: : Prolog and stream parallel languages
Author: Newmarch, Jan
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Logic programming,، Prolog )Computer program language(,، Parallel processing )Electronic computers(
Classification :
QA
76
.
63
.
N48
1990
588. Logic programming : Prolog and stream parallel languages
Author: Newmarch, Jan.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming,، Prolog )Computer program language(,، Parallel processing )Electronic computers(
Classification :
QA
76
.
63
.
N48
1990
589. Logic programming: prolog and stream parallel languages
Author: Newmarch, Jan Dennis
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Logic programming,، Prolog )Computer program language(,، Parallel processing )Electronic computers(
Classification :
QA
76
.
63
.
N48
590. Logics of specification languages
Author: Dines Bjrner, Martin C. Henson, editors
Library: (Semnan)
Subject: Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
L65
2008
591. Logics of specification languages
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
L65
2008
592. Logics of specification languages
Author: Dines Bjrner, Martin C. Henson, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
L63
593. MATLAB Recipes
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software. ; Mathematics. ; Programming languages (Electronic computers). ; Professional Computing. ;
594. Machine Learning Using R
Author: / by Karthik Ramasubramanian, Abhishek Singh
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer science,Computer programming,Programming languages (Electronic computers),Database management
Classification :
QA
75
.
5
.
R3
2017
595. Machine language for the Commodore 64, 128, and other Commodore computers /
Author: Jim Butterfield.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Commodore 128 (Computer)-- Programming.,Commodore 64 (Computer)-- Programming.,Commodore computers-- Programming.,Programming languages (Electronic computers)
596. Machine learning using R :
Author: / Karthik Ramasubramanian, Abhishek Singh,Ramasubramanian
Library: Central library of medical university of Isfahan (Esfahan)
Subject: Machine learning,Data mining,R (Computer program language),Computer science,Computer programming,Programming languages (Electronic computers)
Classification :
QA76
.
9
.
R3
2017
597. Machines, languages, and complexity
Author: / 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988 : selected contributions
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computers -- Congresses,Programming languages (Electronic computers) -- Congresses,Computational complexity -- Congresses
Classification :
QA
76
.
5
.
I5773
1988
598. Machines, languages, and complexity
Author: International Meeting of Young Computer Scientists, )5th, 8891, Smolenice, Czechoslovakia(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computers-- Congresses,، Programming languages )Electronic computers(-- Congresses,، Computational complexity-- Congresses
Classification :
QA
76
.
5
.
I5773
1988
599. Machines, languages, and complexity : 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988
Author: Selected contributions, J. Dassow, J. Kelemen, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computers,Congresses ، Programming languages )Electronic computers(,Congresses ، Computational complexity
Classification :
QA
76
.
L28
Vol
.
381
600. Maple user manual.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Maple (Computer file),Maple (Computer file),Mathematics-- Data processing.,Programming languages (Electronic computers),Mathematics-- Data processing.,Programming languages (Electronic computers)
Classification :
QA76
.
95
.
M362
2005
